翻訳と辞書 Words near each other ・ Gerard Horenbout ・ Gerard Houckgeest ・ Gerard Houlton ・ Gerard Huerta ・ Gerard I ・ Gerard I of Durbuy ・ Gerard I of Isenburg-Kempenich ・ Gerard I of Paris ・ Gerard I, Count of Guelders ・ Gerard II ・ Gerard II (bishop of Cambrai) ・ Gerard II of Isenburg-Kempenich ・ Gerard II, Count of Guelders ・ Gerard III, Count of Guelders ・ Gerard J. Foschini ・ Gerard J. Holzmann ・ Gerard J. M. van den Aardweg ・ Gerard J. Milburn ・ Gerard James (disambiguation) ・ Gerard James Borg ・ Gerard Janssen ・ Gerard Jennings ・ Gerard Jennissen ・ Gerard Jerry Del Colliano Jr ・ Gerard Jirayr Svazlian ・ Gerard Joan Vreeland ・ Gerard John Schaefer ・ Gerard Johnson ・ Gerard Johnson (musician) ・ Gerard Johnson (sculptor) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Gerard J. Holzmann ： ウィキペディア英語版 Gerard J. Holzmann Gerard J. Holzmann (born 1951) is a Dutch-born American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker.〔(【引用サイトリンク】 spin )〕 == Biography == Holzmann was born in Amsterdam, Netherlands and received an Engineer's degree in Electrical Engineering from the Delft University of Technology in 1976. He subsequently also received his PhD degree from Delft University in 1979 under W.L. van der Poel and J.L. de Kroes with a thesis entitled ''Coordination problems in multiprocessing systems''. After receiving a Fulbright Scholar he was post-graduate student at the University of Southern California for another year, where he worked with Per Brinch Hansen. In 1980 he started at Bell Labs in Murray Hill for a year. Back in the Netherlands he was Assistant Professor at the Delft University of Technology for two years.〔Holzmann, Gerard J. "The Pandora System: an interactive system for the design of data communication protocols." ''Computer Networks'' (1976) 8.2 (1984): 71-79.〕 In 1983 he returned to Bell Labs where he worked in the Computing Science Research Center (the former Unix research group). In 2003 he jointed NASA, where he leads the NASA JPL ''Laboratory for Reliable Software''〔(Laboratory for Reliable Software )〕 in Pasadena, California and is a JPL fellow.〔 In 1981 Holzmann was awarded the Prof. Bahler Prize by the Royal Dutch Institute of Engineers,〔 the Paris Kanellakis Theory and Practice Award in 2005, and the NASA Exceptional Engineering Achievement Medal in October 2012.〔 Holzmann was elected to the US National Academy of Engineering in 2005.〔(NAE Members )〕 In 2011 he was inducted as a Fellow of the Association for Computing Machinery.〔(Gerard J. Holzmann, ACM Fellows United States – 2011 ) at ''awards.acm.org''.〕 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Gerard J. Holzmann」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.